8

Arithmetical axiomatization of first-order temporal logic

Year:
1987
Language:
english
File:
PDF, 332 KB
english, 1987
10

GENERAL/THEORETICAL: The Dance of Life: The Other Dimension of Time. Edward T. Hall.

Year:
1984
Language:
english
File:
PDF, 170 KB
english, 1984
18

Silica layers as masks in Ag+-Na+ ion exchange processes

Year:
2016
Language:
english
File:
PDF, 1.09 MB
english, 2016
25

On the Correspondence Between Modal and Classical Logic: an Automated Approach

Year:
1993
Language:
english
File:
PDF, 750 KB
english, 1993
29

Computing Circumscription Revisited: A Reduction Algorithm

Year:
1997
Language:
english
File:
PDF, 377 KB
english, 1997
37

Combustion synthesis of hollow carbon fibers

Year:
2008
Language:
english
File:
PDF, 671 KB
english, 2008